Step of Proof: assert_of_lt_int
9,38
postcript
pdf
Inference at
*
2
1
I
of proof for Lemma
assert
of
lt
int
:
1.
x
:
2.
y
:
3.
x
<
y
tt
latex
by BackThruLemma `assert_of_tt`
latex
.
Definitions
b
Lemmas
assert
of
tt
origin
tt
by BackThruLemma `assert_of_tt`
.
tt
by BackThruLemma `assert_of_tt`
.b